Computer Aided Verification
Paperback
Published 17 Jul 1996
Save $5.54
- RRP $61.06
- $55.52
Search for "Thomas Henzinger"
9 results
-
$5.54off
-
$15.96off
Contracts for System Design
Paperback
Published 30 Mar 2018Save $15.96
- RRP $115.36
- $99.40
-
$18.16off
Formal Modeling and Analysis of...
Paperback
Published 30 Aug 2010Save $18.16
- RRP $73.28
- $55.12
-
$15.05off
Computer Science Logic Theoreti...
Paperback
Published 30 Aug 2007Save $15.05
- RRP $122.13
- $107.08
-
Handbook of Model Checking
Hardback
Published 08 Jun 2018- $174.50
-
$7.49off
Hybrid Systems III
Paperback
Published 24 Apr 1996Save $7.49
- RRP $122.13
- $114.64
-
Handbook of Model Checking
Paperback
Published 14 Nov 2020- $174.50
-
Computational Methods in System...
Paperback
Published 01 Feb 2014 -
Bindung: Entstehung - Bedeutung...
Paperback | German
Published 11 Nov 2019